
import java.io.PrintWriter;

class False extends Atom {

	public False() {
		super();
	}

	@Override
	public void print(PrintWriter pw) {
		pw.println("Node name : trueConst. Value is false");
	}
	
	public String translate(PrintWriter pw, String condition) {
		pw.print("false");
		return null;
	}

}

abstract class Var extends Atom {

}